@charset "UTF-8";

--primary: #ffffff;
--secondary: #bbdaff;
--background: #002451;
--lineno-background: #193962;
--selected: #003f8e;
--operator: #99ffff;
--keyword: #ebbbff;
--namespace: #ffeead;
--comment: #7285b7;
--scoped: #ff9da4;
--numeric: #ffc58f;
--string: #d1f1a9;
